记 $T = \min\Bqty{k \colon k \ge 0, X_k > \lambda}$, 则 $X_T > \lambda$.

由定理 4.4.1 的引理 1,

证毕.